#ifndef __HAVE_IRQ_H
#define __HAVE_IRQ_H

#include <types.h>

void irq_install();

void irq_install_handler(_s32 irq, void (*handler)(struct registers *r));

#endif /* __HAVE_IRQ_H */
